Recreation Steps:
1. Configure the CheckStyle plug-in such that the Javadoc
package HTML is required:
checkstyle.require.packagehtml=yes
2. Check a buffer that doesn't have a package.html.
3. In the error list, double-click the entry reporting "missing
package documentation file". jEdit "opens" the non-existent
file.
4. Try to check the buffer again.
CheckStyle no longer works. The problem appears to be in
ErrorManager.java, line 104. In the case where the
package.html error is being reported, the line is zero. With
the -1, it ends up passing -1 for the line number into
addError. This only seems to be a problem if there is a
buffer representing package.html open -- in that case, an
ArrayIndexOutOfBoundsException is thrown, and the plug-
in stops processing the file.
The attached version of ErrorManager.java has a potential
fix which guarantees the line is >= 0.
Submitted | ericjsmith - 2002-09-10 16:01:41 | Assigned | luckyspin |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | None |
Resolution | None |
2002-09-10 16:01:41 ericjsmith |
Possible fix for this bug. ErrorManager.java (3.5Kio) |
---|---|
2002-09-12 20:19:49 luckyspin |
- **assigned_to**: nobody --> luckyspin |
2002-09-12 20:19:49 luckyspin |
Logged In: YES |
2003-05-29 05:25:48 spestov |
- **labels**: 102671 --> |
2003-06-17 08:06:39 bemace |
- **assigned_to**: nobody --> luckyspin |